theorem proving 意味

• 定理証明｛ていり しょうめい｝
  

• theorem     theorem n. 〔数学 論理学〕 定理; 原理. 【動詞＋】 formulate a theorem 定理を公式化する
• proving     proving 判明 はんめい
• geometry theorem-proving machine    geometry theorem-proving machine 幾何学定理証明機械[電情]
• mechanical theorem proving    mechanical theorem proving 機械定理証明[電情]
• theorem proving method    定理証明法｛ていり しょうめい ほう｝
• theorem proving program    定理証明｛ていり しょうめい｝プログラム
• proving    proving 判明 はんめい
• theorem     theorem n. 〔数学 論理学〕 定理; 原理. 【動詞＋】 formulate a theorem 定理を公式化する attempt to prove a theorem 定理を証明しようとする test a theorem 定理を調べる work out a theorem 定理を解く. 【＋動詞】 The theo
• method for proving    証明方法｛しょうめい ほうほう｝
• primality proving    《数学》素数性｛そすう せい｝の証明｛しょうめい｝、（確定的｛かくていてき｝）素数判定｛そすう はんてい｝
• proving cash    現金照合｛げんきん しょうごう｝
• proving ground    proving ground 実験場 じっけんじょう
• proving property    性質証明｛せいしつ しょうめい｝
• proving ring    プルービング?リング
• proving rotor    proving rotor 検定ロータ[機械]